This book constitutes the refereed proceedings of the 18th International Symposium on Automated Technology for Verification ...
اقرأ المزيدThis volume constitutes the refereed post-conference proceedings of the 26th IFIP WG 1.5 International Workshop on Cellular ...
اقرأ المزيدThis book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on Finite-State Methods ...
اقرأ المزيدThis book studies the relationship between automata and monadic second-order logic, focusing on classes of automata that ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 9th International Colloquium on Grammatical Inference, ICGI 2008, held ...
اقرأ المزيدThe 12th International Conference on Implementation and Application of - tomata CIAA 2007 washeld at the Czech Technical ...
اقرأ المزيدThis volume of Lecture Notes in Computer Science contains the revised versions of the papers presented at the 9th International ...
اقرأ المزيدThis volume of the Lecture Notes in Computer Science series contains the notes of the two invited lectures, the 26 papers ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 11th International Conference on Implementation and Application of ...
اقرأ المزيدThis book cover current issues of all major areas in computer science, mathematics (especially logic) and the physical sciences ...
اقرأ المزيد